-
Notifications
You must be signed in to change notification settings - Fork 227
Change classes with shortcut #2523
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
f16f503 to
ecd36ed
Compare
Test Results 1 821 files ±0 1 821 suites ±0 1h 28m 27s ⏱️ +40s For more details on these errors, see this check. Results for commit 3707cbc. ± Comparison against base commit 3c276e8. ♻️ This comment has been updated with latest results. |
d478459 to
7b53e93
Compare
Wittmaxi
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This addresses my last issues - especially about the parts which can be improved by using Array stream operations. The naming issue I had brought up is also adequately fixed, imo
...org.eclipse.ui.workbench/eclipseui/org/eclipse/ui/internal/handlers/TraversePageHandler.java
Show resolved
Hide resolved
|
random fail #1808 Let me know if I should merge this :) |
|
The change seems fine to merge, but please wait for the announcement of next 4.35 stream being open on the eclipse-dev mailing-list. |
b5860be to
f29e611
Compare
|
This pull request changes some projects for the first time in this development cycle. An additional commit containing all the necessary changes was pushed to the top of this PR's branch. To obtain these changes (for example if you want to push more changes) either fetch from your fork or apply the git patch. Git patchFurther information are available in Common Build Issues - Missing version increments. |
0999f17 to
9ec13da
Compare
I think the freeze periond is over, so if you are ready and the changes seem fine, you could merge it i think : ) |
ddb696f to
fe4839f
Compare
144d028 to
ca30364
Compare
When navigating the open tabs with Ctrl+Pg Up/Down and only if there is no chevron (i.e. more tabs opened than one can show) then the tab next to the last one is the first one and the tab previous to the first one is the last one.
This is a new PR which continues #2413 which got accidentally closed.